public void SetAttribute(
	string name,
	ISet<double> values
)